CrossStitch: An Efficient Transaction Processing Framework for Geo-Distributed Systems Sharon Choy, Bernard Wong, Xu Cui, Xiaoyi Liu Cheriton School of Computer Science, University of Waterloo s2choy, bernard, xcui, x298

Source URL: cs.uwaterloo.ca

• Transaction processing
• Data management
• Two-phase commit protocol
• Serializability
• Concurrency control
• Distributed transaction
• Timestamp-based concurrency control
• ACID
• Durability
• Database transaction
• Schedule
• Replication

Automatic Contention Detection and Amelioration for Data-Intensive Operations John Cieslewicz∗, Kenneth A. Ross†, Kyoho Satsumi, Yang Ye Department of Computer Science, Columbia University, New York NY (johnc,kar,ye

Source URL: event.cwi.nl

• Parallel computing
• Concurrency control
• MapReduce
• Thread
• Data-intensive computing
• CPU cache
• Non-blocking algorithm
• Concurrent data structure
• Synchronization
• Cray MTA
• Lock
• Linearizability

Replication, Recursion and Concurrency J. Garrett Morris University of Edinburgh Sessions and linearity

Source URL: groups.inf.ed.ac.uk

• Computability theory
• Theoretical computer science
• Recursion
• Process calculi
• -calculus
• Type
• Linear logic
• Linearity
• Primitive recursive function
• operator

Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringExam II

Source URL: pdos.csail.mit.edu

• Concurrency control
• Transaction processing
• Linearizability
• Distributed computing architecture
• MapReduce
• Sequential consistency
• Foreach loop

Concurrent Objects -- Introspect, Extrospect & Prospect -- Aki Yonezawa Dept. of Computer Science & Information Technology Center

Source URL: www.aito.org

• Concurrent programming languages
• Concurrent computing
• Object-oriented programming
• Cross-platform software
• Edsger W. Dijkstra
• Actor model
• Object
• Go
• E
• Actor-Based Concurrent Language
• Concurrency

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Logic in computer science
• Object-oriented programming languages
• Programming language semantics
• SCOOP
• Semantics
• Eiffel
• Operational semantics
• Concurrency
• Actor model

Using Restricted Transactional Memory to Build a Scalable In-Memory Database Zhaoguo Wang†, Hao Qian‡, Jinyang Li§, Haibo Chen‡ † School of Computer Science, Fudan University ‡ Institute of Parallel and Distri

Source URL: ipads.se.sjtu.edu.cn

• Transaction processing
• Concurrency control
• Data management
• Databases
• Software transactional memory
• Database transaction
• Serializability
• Extensible Storage Engine
• Linearizability
• Transactional memory
• Optimistic concurrency control
• Atomicity

Consistency Guarantees: Exploiting Application Semantics for Consistency Management in a Collaboration Toolkit Paul Dourish Rank Xerox Research Centre, Cambridge Laboratory (EuroPARC) and Department of Computer Science,

Source URL: www.dourish.com

• Transaction processing
• Data management
• Concurrency control
• Isolation
• Consistency
• Eventual consistency
• Atomicity
• Database
• ACE
• Lock
• File locking
• Extensible Storage Engine

Static Ownership Inference for Reasoning Against Concurrency Errors Ana Milanova Department of Computer Science Rensselaer Polytechnic Institute

Source URL: www.cs.rpi.edu

Performance Evaluation of Adaptivity in STM Mathias Payer and Thomas R. Gross Department of Computer Science, ETH Zürich

Source URL: hexhive.github.io

• Computing
• Concurrency control
• Transaction processing
• Data management
• Software
• Software transactional memory
• Synchronization
• Lock
• Transactional memory
• File locking